Tool Artifact for "Program Sketching using Lifted Analysis for Numerical Program Families"

This upload shows all approaches and performance results reported in the paper ''Program Sketching using Lifted Analysis for Numerical Program Families''. The reported results are obtained on the machine: [Intel Core TM i7-8700 CPU@3.20GHz x 12, 8 GB Memory, 64-bit Ubuntu 18.04.5 LTS] We compare three tools: - FamilySketcher that uses the decision tree-based lifted analysis and the polyhedra domain from the APRON library. - Program sketching tool Sketch version 1.7.6 that uses SAT-based inductive synthesis. - The Brute Force enumeration approach that analyzes all variants, one by one, using a single-program analysis based on the polyhedra domain from the APRON library